Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams
نویسندگان
چکیده
The paper considers calculation of autocorrelation functions on finite dyadic groups over decision diagrams. The methods exploit recursive structure of both autocorrelation matrices and decision diagrams. First, it is discussed calculation of the autocorrelation through the Wiener-Khinchin theorem implemented over decision diagrams. Then, it is proposed a method for calculation of separate autocorrelation coefficients over decision diagrams with permuted labels at the edges. For the case of restricted memory resources, a procedure with in-place calculations over the decision diagram for the function processed has been defined.
منابع مشابه
Analysis of Decision Diagram based Methods for the Calculation of the Dyadic Autocorrelation
This paper discusses in a tutorial way, methods for calculation of the logic autocorrelation of switching functions. We compare calculation over function vectors and decision diagrams and perform an experimental analysis of performances of these methods with an emphasis on their time complexity.
متن کاملDeclarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell
This paper is an exploration in a functional programming framework of isomorphisms between elementary data types (natural numbers, sets, finite functions, permutations binary decision diagrams, graphs, hypergraphs, parenthesis languages, dyadic rationals, DNA sequences etc.) and their extension to hereditarily finite universes through hylomorphisms derived from ranking/unranking and pairing/unp...
متن کاملDrawing CCCT Diagrams and Investigation of Deformation Effects on Martensite and Bainite Trabsformations in NiCrMoV Steel
In this study, two CCCT diagrams are drawn to be compared with a CCT diagram. The CCCT diagrams represent continuous cooling transformations in stress assisted state. The increased Md and Bd temperatures of CCCT diagrams were also compared with those of the CCT diagrams and the cause was investigated from both thermodynamic and metallurgical viewpoints. Thermodynamic examinations revealed that ...
متن کاملDrawing CCCT Diagrams and Investigation of Deformation Effects on Martensite and Bainite Trabsformations in NiCrMoV Steel
In this study, two CCCT diagrams are drawn to be compared with a CCT diagram. The CCCT diagrams represent continuous cooling transformations in stress assisted state. The increased Md and Bd temperatures of CCCT diagrams were also compared with those of the CCT diagrams and the cause was investigated from both thermodynamic and metallurgical viewpoints. Thermodynamic examinations revealed that ...
متن کاملReduction of the Number of Paths in Binary Decision Diagrams by Linear Transformation of Variables
The paper deals with the problem of counting and minimizing the number of paths in Binary Decision Diagrams. The suggested approach uses the linear transform of initial variables and is based on a newly introduced weighted autocorrelation function. It is shown that the total number of paths in BDD is the sum of values of a weighted autocorrelation function. The efficiency of the proposed techni...
متن کامل